From 4888ac5891f3daa37bdb3059893db084b50f497b Mon Sep 17 00:00:00 2001 From: Jan Beulich Date: Thu, 6 Mar 2014 11:32:48 +0000 Subject: [PATCH] x86/shadow: add a clarifying assertion ... documenting that we don't have to worry about merging guest provided flags with the ones we want to enforce ourselves. Signed-off-by: Jan Beulich Acked-by: Tim Deegan --- xen/arch/x86/mm/shadow/multi.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/xen/arch/x86/mm/shadow/multi.c b/xen/arch/x86/mm/shadow/multi.c index 5c7a7ace6b..3c1b25b998 100644 --- a/xen/arch/x86/mm/shadow/multi.c +++ b/xen/arch/x86/mm/shadow/multi.c @@ -592,6 +592,8 @@ _sh_propagate(struct vcpu *v, { unsigned int type; + ASSERT(!(sflags & (_PAGE_PAT | _PAGE_PCD | _PAGE_PWT))); + /* compute the PAT index for shadow page entry when VT-d is enabled * and device assigned. * 1) direct MMIO: compute the PAT index with gMTRR=UC and gPAT. -- 2.30.2